model theory

英 [ˈmɒdl ˈθɪəri] 美 [ˈmɑːdl ˈθiːəri]

模型理论

计算机



双语例句

  1. The method of quantifier elimination has been one of the powerful tools in the computer science and algebraic model theory.
    量词消去法已经成为计算机科学和代数模型论中最有力的研究工具之一。
  2. The Flying Geese Model Theory and Path Choice of Coordinative Development of Regional Economy in Jiangsu
    雁行形态理论创新与江苏区域经济协调发展的路径选择
  3. However, there are some scholars who defend tenaciously clan model theory is only right.
    但仍有一些学者固守氏族模式论是惟一正确的国家起源模式。
  4. Time Dependent Model Theory and Track Monitoring for Construction Process of High-Rise and Steel Structural Building
    高层钢结构施工过程时变模型理论与跟踪监测
  5. Probe and Practice on Integrated Teaching Model of Theory and Practice in Teaching the Course "Hydraulic and Pneumatic Technology"
    理论实践一体化教学模式在《液压与气动技术》教学中的探索与实践
  6. Continuous model theory also preserves many key properties of classical model theory.
    连续模型论拥有很多经典模型论所拥有的重要性质。
  7. Model Theory and Virtual Prototype of a Kind of CMM Using Parallel-link Mechanism
    并联坐标测量机理论模型及其虚拟原型研究
  8. Combining multiple model theory and auxiliary particle filter algorithm, a new maneuvering target tracking algorithm called MMAPF is presented in the paper.
    文中将多模型理论和辅助粒子滤波算法相结合,提出了一种新的机动目标跟踪算法&MMAPF。
  9. "Beauty is Model" Theory: Confusion and Reflection A Study of Marx s "Economic Philosophical Manuscripts of 1844";
    美是典型说的困惑与思考学习马克思的《1844年经济学哲学手稿》
  10. Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.
    一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型论语义,同时也为模型论语义的实现提供基础。
  11. This paper made a study on the life cycle of Bashania fabri, which is staple food for Ailuropoda melanoleuca, and put forward the model of theory of bamboo population development.
    从分析竹类种群的生命周期出发,并以大熊猫主食竹种冷箭竹的种群动态研究为例,建立了竹类种群动态的理论模式。
  12. We present Model Theory as the "mathematics of definable sets".
    本文将模型论介绍为“可定义集的数学”。
  13. Research on the Factors Affecting the Exercise Behavior of College Students Based on the KAP Model Theory
    基于KAP模式理论对大学生锻炼行为影响因素的探究
  14. Discussion of spacial attracting scope of logistics park based on gravity model and theory of group decision
    基于引力模型和群决策理论的物流园区空间吸引范围
  15. Verifying the cognitive model of theory of mind
    对心理理论两成分认知模型的验证
  16. A system model of a mooring line was constructed according to the NARMAX model theory.
    根据带控制变量的非线性自回归滑动平均(NARMAX)模型理论,建立了锚泊线的系统模型。
  17. Scaling Model Experiment of Lunar Rover's Mobility Performance Based on Similarity Model Theory Detailed Model and Traction Performance Test on Interaction Between Track Link and Ground
    基于相似理论的月球车牵引性能模型试验
  18. The Application of Cloud Model Theory in Power System Stability Control
    云模型理论在电力系统稳定控制中的应用
  19. On Tourist Revitalization of South Sichuan Bamboo Sea: Study Based on Butler's Tourist Resorts Lifecycle Model Theory
    论蜀南竹海旅游振兴&基于巴特勒旅游地生命周期理论的研究
  20. Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
    数理逻辑的延伸符号逻辑到其他领域,特别是研究模型理论,证据理论,集理论,并递归理论。
  21. Homogeneous reservoir model is one of the ideal and widely used model in theory and practice of well testing.
    均质油藏模型是试井分析理论和实践中的最理想化、应用最广泛的一种模型。
  22. The center-edge model theory under the early Hanshui culture
    核心&边缘模式理论视阈下的早期汉水文化
  23. Landslide in the Development based on the chain principle, to establish landslide for the structure of the model theory.
    基于滑坡体结构发展趋势的链式原理,建立起滑坡为结构体的模型并进行理论分析。
  24. To address the problem above, the speech recognition system has been built on the basis of HTK as well as hidden markov model theory.
    针对上述问题,结合隐马尔可夫模型原理,在HTK语音处理工具箱的基础上构建了中英文特定词语音识别系统。
  25. Study of Algae Bloom in the Three Gorges Reservoir Region Based on Complex Networks Model Theory
    利用复杂网络理论研究三峡库区流域水华暴发行为
  26. Model Testing Theory and Errors Analysis in Geotechnical Engineering
    岩土工程中的模型试验理论与误差分析
  27. Based on the large scale conceptual model theory of similar material, a physical model of metro station tunnel excavation was simulated.
    据相似材料大比尺三维概念物理模型理论,高仿真度制作了成型盾构隧道地铁站厅隧道开挖试验物理模型。
  28. Formal Rule Theory, Mental Model Theory and Probability Theory in Conditional Reference: A Comparative Study of the Three Theories
    形式规则、心理模型与概率理论&条件推理中三种理论模型的比较研究
  29. Then we propose the basic model and theory of Infrastructure layer, which allows users to access the Internet anywhere, any time, and by any means.
    创建一种“基础设施层”模型与理论,解决用户在任何地点、任何时间、以任何方式接入到互联网的问题;
  30. Comparative Analysis of Elastoplasticity Model and Asian Plastic Model Theory Applies to Rock-fill Dam
    应用于堆石坝的弹塑性模型与亚塑性模型的理论对比分析